Data Verification in Integrated RFID Systems
نویسندگان
چکیده
منابع مشابه
Multi-Agent Based Formal Verification of Data in RFID Middleware
As the load of traffic increases in RFID middleware, RFID system can no longer manage the RFID tags. Because of the incapability of the RFID system to handle vast amount of RFID tags, there are possibilities that the data cannot be processed efficiently in the RFID middleware. Implementation of agent technology is useful for verification and validation in RFID system architecture because intell...
متن کاملA Dual Data Processing System Using Sensor Integrated RFID Middleware
Recently sensor technology has drawn greater attention in ubiquitous computing by deploying huge amount of sensor tags in supply chain, harbor logistics, healthcare management etc. Sensor tags are capable to provide the sensing information of the product and item with its identification at the same time. The dual data generated from a sensor tag is RFID data and Sensing data. RFID Readers are u...
متن کاملArchitecture-centered Integrated Verification Architecture-centered Integrated Verification
This chapter presents an architecture-centered verification approach to large scale complex software systems by integrating model checking with runtime verification. A software architecture design provides a high-level abstraction of system topology, functionality, and/or behavior, which provides a basis for system understanding and analysis as well as a foundation for subsequent detailed desig...
متن کاملData Quality Issues in Integrated Enterprise Systems
In this paper, we explore the effects of Enterprise Systems, such as SAP, on the quality of organizational data. Our findings are based on a longitudinal study of an ES implementation at multiple sites in one global organization. We organize the results in terms of how the ES implementation changed Intrinsic data quality, Representational data quality, Contextual data quality, and Accessibility...
متن کاملSoftware Verification with Integrated Data Type Refinement for Integer Arithmetic
We present an approach to integrating the refinement relation between infinite integer types (used in specification languages) and finite integer types (used in programming languages) into software verification calculi. Since integer types in programming languages have finite ranges, in general they are not a correct data refinement of the mathematical integers usually used in specification lan...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Systems Journal
سال: 2019
ISSN: 1932-8184,1937-9234,2373-7816
DOI: 10.1109/jsyst.2018.2865571